//]]>
Unhighlight Highlight
Unifying Theories of Programming by Wolff, Burkhart. Publication: . VIII, 249 p. 4 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Qadeer, Shaz. Publication: . XII, 322 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial General Intelligence by Bach, Joscha. Publication: . XII, 381 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Hawblitzel, Chris. Publication: . X, 305 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Jhala, Ranjit. Publication: . XII, 389 p. 104 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Gill, Andy. Publication: . X, 181 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Aoki, Toshiaki. Publication: . XIV, 512 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications of Graph Transformations with Industrial Relevance by Schürr, Andy. Publication: . XII, 255 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Issues in Fluid Construction Grammar by Steels, Luc. Publication: . X, 331 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Bshouty, Nader H. Publication: . XII, 381 p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rewriting Logic and Its Applications by Durán, Franciso. Publication: . VIII, 241 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Natural Language Processing by Isahara, Hitoshi. Publication: . X, 334 p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Eleftherakis, George. Publication: . XIV, 384 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 427 p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming by Milano, Michela. Publication: . XXII, 1015 p. 237 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Finkel, Alain. Publication: . XII, 149 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Computer Science by Baeten, Jos C. M. Publication: . X, 393 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Jurdziński, Marcin. Publication: . X, 267 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Cerro, Luis Fariñas. Publication: . XIV, 498 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
KI 2012: Advances in Artificial Intelligence by Glimm, Birte. Publication: . XIV, 267 p. 89 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية